Chargueraud, Arthur: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 18th ACM SIGPLAN symposium - Shenzhen, China (2013.02.23-2013.02.27)] Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '13 - Scheduling parallel programs by work stealing with private deques

Acar, Umut A., Chargueraud, Arthur, Rainey, Mike

Year:

2013

Language:

english

File:

PDF, 451 KB

english, 2013

2

Engineering formal metatheory

Aydemir, Brian, Charguéraud, Arthur, Pierce, Benjamin C., Pollack, Randy, Weirich, Stephanie

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

3

The Locally Nameless Representation

Arthur Charguéraud

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 842 KB

english, 2012

4

Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

Charguéraud, Arthur, Pottier, François

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 1.52 MB

english, 2017

5

[ACM Press the 15th ACM SIGPLAN international conference - Baltimore, Maryland, USA (2010.09.27-2010.09.29)] Proceedings of the 15th ACM SIGPLAN international conference on Functional programming - ICFP '10 - Program verification through characteristic formulae

Charguéraud, Arthur

Year:

2010

Language:

english

File:

PDF, 504 KB

english, 2010

6

Functional translation of a calculus of capabilities

Charguéraud, Arthur, Pottier, François

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

7

Characteristic formulae for the verification of imperative programs

Charguéraud, Arthur

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 500 KB

english, 2011

8

[ACM Press Proceeding of the 13th ACM SIGPLAN international conference - Victoria, BC, Canada (2008.09.20-2008.09.28)] Proceeding of the 13th ACM SIGPLAN international conference on Functional programming - ICFP '08 - Functional translation of a calculus of capabilities

Charguéraud, Arthur, Pottier, François

Year:

2008

Language:

english

File:

PDF, 286 KB

english, 2008

9

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A trusted mechanised JavaSript specification

Bodin, Martin, Chargueraud, Arthur, Filaretti, Daniele, Gardner, Philippa, Maffeis, Sergio, Naudziuniene, Daiva, Schmitt, Alan, Smith, Gareth

Year:

2014

Language:

english

File:

PDF, 647 KB

english, 2014

10

Program verification through characteristic formulae

Charguéraud, Arthur

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 504 KB

english, 2010

11

[ACM Press the 23rd ACM SIGPLAN Symposium - Vienna, Austria (2018.02.24-2018.02.28)] Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18 - Performance challenges in modular parallel programs

Acar, Umut A., Aksenov, Vitaly, Charguéraud, Arthur, Rainey, Mike

Year:

2018

Language:

english

File:

PDF, 380 KB

english, 2018

12

[ACM Press Companion of the The Web Conference 2018 - Lyon, France (2018.04.23-2018.04.27)] Companion of the The Web Conference 2018 on The Web Conference 2018 - WWW '18 - JSExplain

Charguéraud, Arthur, Schmitt, Alan, Wood, Thomas

Year:

2018

Language:

english

File:

PDF, 1.15 MB

english, 2018

13

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Engineering formal metatheory

Aydemir, Brian, Charguéraud, Arthur, Pierce, Benjamin C., Pollack, Randy, Weirich, Stephanie

Year:

2008

Language:

english

File:

PDF, 252 KB

english, 2008

14

[ACM Press the International Conference for High Performance Computing, Networking, Storage and Analysis - Austin, Texas (2015.11.15-2015.11.20)] Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis on - SC '15 - A work-efficient algorithm for parallel unordered depth-first search

Acar, Umut A., Charguéraud, Arthur, Rainey, Mike

Year:

2015

Language:

english

File:

PDF, 202 KB

english, 2015

15

Oracle-guided scheduling for controlling granularity in implicitly parallel languages

ACAR, UMUT A., CHARGUÉRAUD, ARTHUR, RAINEY, MIKE

Journal:

Journal of Functional Programming

Year:

2016

Language:

english

File:

PDF, 830 KB

english, 2016

16

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - Heartbeat scheduling: provable efficiency for nested parallelism

Acar, Umut A., Charguéraud, Arthur, Guatto, Adrien, Rainey, Mike, Sieczkowski, Filip

Year:

2018

Language:

english

File:

PDF, 830 KB

english, 2018

17

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Characteristic formulae for the verification of imperative programs

Charguéraud, Arthur

Year:

2011

Language:

english

File:

PDF, 500 KB

english, 2011

18

MoSeL: a general, extensible modal framework for interactive proofs in separation logic

Krebbers, Robbert, Jourdan, Jacques-Henri, Jung, Ralf, Tassarotti, Joseph, Kaiser, Jan-Oliver, Timany, Amin, Charguéraud, Arthur, Dreyer, Derek

Journal:

Proceedings of the ACM on Programming Languages

Year:

2018

Language:

english

File:

PDF, 482 KB

english, 2018

19

Oracle scheduling

Acar, Umut A., Charguéraud, Arthur, Rainey, Mike

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 791 KB

english, 2011

20

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Oracle scheduling

Acar, Umut A., Charguéraud, Arthur, Rainey, Mike

Year:

2011

Language:

english

File:

PDF, 791 KB

english, 2011

21

[ACM Press the 5th ACM SIGPLAN Conference - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016 - Higher-order representation predicates in separation logic

Charguéraud, Arthur

Year:

2016

Language:

english

File:

PDF, 409 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски